Translating Timing Constraints during Vehicular Distributed Embedded Systems Development

The end-to-end response-time and delay analysis can verify timing requirements specified on vehicular distributed embedded systems without performing exhaustive testing. For this purpose, the timing requirements and constraints should be unambiguously translated among several models, methodologies and tools that are used at various abstraction levels and phases during the industrial development of these systems. Within this context, we translate timing constraints that are specified at higher abstraction levels using the Timing Augmented Description Language (TADL2) to an industrial model the Rubus Component Model (RCM). We also discuss corresponding extensions in RCM and perform a case study to validate our approach.